منابع مشابه
Simplifying Contract-Violating Traces
Contract conformance is hard to determine statically, prior to the deployment of large pieces of software. A scalable alternative is to monitor for contract violations post-deployment: once a violation is detected, the trace characterising the offending execution is analysed to pinpoint the source of the offence. A major drawback with this technique is that, often, contract violations take time...
متن کاملSimplifying triangulations
We give a new algorithm to simplify a given triangulation with respect to a given curve. The simplification uses flips together with powers of Dehn twists in order to complete in polynomial time in the bit-size of the curve. keywords. triangulations of surfaces, flip graphs, Dehn twists Mathematics Subject Classification (2010): 57M20
متن کاملSimplifying CRISPR
eveloping cell lines for use as accurate models for disease has always been a challenging task. In order to replicate phenotypes or enable downstream experimentation, genome engineering of cell lines is required. Techniques enabling genome modification have evolved over a number of years, from simple viral vectors used to insert sequences in random locations, to more sophisticated methods that ...
متن کاملSimplifying Parallel List Traversal Simplifying Parallel List Traversal
Computations described using Bird's constructive algebra of lists are nicely amenable to parallel implementation. Indeed , by using higher-order functions, ordered list traversals such as foldl and foldr can be expressed as unordered reductions. Based on this observation, a set of optimizations have been developed for list traversals in the parallel Haskell (pH) compilerr12]. These optimization...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Electronic Proceedings in Theoretical Computer Science
سال: 2012
ISSN: 2075-2180
DOI: 10.4204/eptcs.94.2